|
|
| |
Handbook of mathematical induction : , theory and applications /
by Gunderson, David S.
Publication:
Boca Raton, FL : CRC Press, 2011
. xxv, 893 p. :
27 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Introduction to mathematical logic /
by Mendelson, Elliott.
Publication:
Boca Raton, FL : CRC Press, 2010
. xxiv, 469 p. :
25 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Combinatory logic : , pure, applied, and typed /
by Bimbo, Katalin,
Publication:
Boca Raton, MA: Taylor & Francis, 2012
. 345 p.
Date:2012
Availability:
Copies available:
AUM Main Library
(1),
|
|
